proof of expected value